Protocol-Safe Workflow Support for Santa Claus
نویسنده
چکیده
Practical software analysis techniques exploit a form a process description, mostly in some flavour of state diagram. Unlike typing information, these process structures are usually not passed down to the implementation level, and neither are they exploited in any form of consistency check. It is our belief that the information in most designs suffices to perform all sorts of consistency checks. This workshop paper studies a simple case where workflow processes interact with ‘actual’ objects at the implementation level, and demonstrates how useful protocol checking can be in making and keeping these processes consistent with each other.
منابع مشابه
Dynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture
Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...
متن کاملDispelling the nice or naughty myth: retrospective observational study of Santa Claus
OBJECTIVE To determine which factors influence whether Santa Claus will visit children in hospital on Christmas Day. DESIGN Retrospective observational study. SETTING Paediatric wards in England, Northern Ireland, Scotland, and Wales. PARTICIPANTS 186 members of staff who worked on the paediatric wards (n=186) during Christmas 2015. MAIN OUTCOME MEASURES Presence or absence of Sant...
متن کاملThe occupational health of Santa Claus
Previous publications in the field of Santa studies have not focused on health and safety issues arising from Santa's workplace activities. However, it should be acknowledged that unique occupational hazards exist for Santa Claus. Major occupational health issues affecting Santa are discussed, along with suggestions for future research directions.
متن کاملPicture Reports: Influenza virus, Santa Claus, or a mouse playing tennis?
Influenza virus, Santa Claus, or a mouse playing tennis? We have all lain on our backs, looked up at the clouds, and imagined all sorts of creatures there. Sometimes the same may happen with electron microscopy, and I recently produced this electron micrograph of an influenza virus. My colleagues and I have seen it variously as a caveman wielding a club, John McEnroe, Santa Claus, and a mouse p...
متن کامل